OntoMath$${}^{\mathbf{PRO}}$$ 2.0 Ontology: Updates of Formal Model

This paper is devoted to the problems of ontology-based mathematical knowledge management and representation. The main attention paid development a formal model for representation statements in Open Linked Data cloud. proposed intended applications that extract facts from natural language texts represent these as Data. used new version OntoMath${}^{\mathrm{PRO}}$ ontology professional mathematics described. underlies semantic publishing platform, takes an input collection papers LaTeX format builds their turn, central component OntoMath digital ecosystem, ecosystem ontologies, text analytics tools, management, including search formulas recommender system papers. According model, organized into three layers: foundational layer, domain layer linguistic layer. contains language-independent math concepts. provides grounding concepts, foundation them with meta-ontological annotations. concepts are two hierarchies: hierarchy objects reified relationships.